三值 + 一有界 + 一致连续
闭区间连续函数零值性
理解:连续+异号=存在零点
证明思路:
证明使用 #区间套定理 + 二分法
保持:区间端点值异号、闭区间、连续
闭区间连续函数介值性
理解:两个端点值之间必存在
逆命题在特殊情况(单调,见下)成立
理解:连续函数定义域连续->值域连续
简证:
根据 #介值定理
理解:两个端点值之间必存在
理解:否则不是单射
证明思路:
证明使用反证法,此时在端点与函数驻点之间运用 #介值定理 ,必定能找到两个与对应
理解:单调连续函数无间断=值域为区间
简证:
使用反证法,假设单调递增、间断,则在间断的去心邻域 有界(左右端点函数值)
由 #单调函数单侧极限定理
,
P.S. 至多:
证明如下:
非常优雅的证明:
推论
引理
证明:,
闭区间连续函数有界性
证明如下
使用反证法:
#BW定理
由 #连续函数极限的穿越
另:若换成开区间后不成立
例如:
闭区间连续函数最值性
证明:
构造辅助函数
由 #闭区间连续函数有界性
知
根据 #确界原理 ,
反证法:
Tips:
根据 #闭区间连续函数有界性
理解:闭区间闭区间
证明思路:
证明远处带状区域有界:
证明中间有界:
根据 #闭区间连续函数有界性
$$\lim\limits_{x\to a^{+}}M(x)=f(a)$$
简证:
由 #闭区间连续函数最值性
一致连续性
非逐点定义:整体定义
左右单侧极限同理可得
非逐点定义:整体定义
连续的ε-δ表述
一致连续性:加强
一致连续性的否定
理解:自变量接近,函数值不接近
证明:
证明:
思考: 震荡
证明:
证明:
或
证明:
根据 #BW定理
#添项
使用 #连续函数极限的穿越
- 不适用于存在开的区间
理解:
一致连续=端点不陡峭=单侧极限存在
证明:
使用 #Cauchy判别准则
其他五种极限不再赘述
"补充定义"
类似地
在右连续左连续且
由 #Cantor定理
判断
Bonus: 证明非周期函数
若且时有极限
若且为周期函数
理解:连续周期函数必一致连续